Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
641	Computing Technology: Created, Fallen, In Need Of Redemption? Joel C. Adams Department of Computer Science Calvin College Abstract If we accept the premise that computing technology is a part of the created order, then a Add to Reading List Source URL: www.calvin.edu Language: English - Date: 2002-08-29 14:10:31 Computation Computability Programming language Operating system Applied mathematics Science Theory of computation Lateral computing Turing Award Computer science Computing Computer
642	Implementing Untyped λ-Calculus Implementing Untyped λ-Calculus in Haskell slide: Jaiyalas Add to Reading List Source URL: www.godfat.org Language: English - Date: 2013-10-31 13:15:28 Lambda calculus Computer science Calculus Theoretical computer science Applied mathematics Computability theory
643	Introduction to: Computers & Programming: Recursion Adam Meyers New York University Add to Reading List Source URL: nlp.cs.nyu.edu Language: English - Date: 2011-04-27 10:23:03 Recursion Programming idioms Computability theory Mathematical logic Theoretical computer science Infinite loop Recursive definition Iteration Subroutine Computer programming Software engineering Computing
644	C. H. Bennett Logical Reversibility of Computation* Abstract: The usual general-purpose computing automaton (e.g.. a Turing machine) is logically irreversible- its transition function lacks a single-valued inverse. Here Add to Reading List Source URL: www.math.ucsd.edu Language: English - Date: 2013-01-12 09:26:33 Theory of computation Computer science Computability theory Formal methods Reversible computing Computation history Computability Reverse computation Post–Turing machine Turing machine Models of computation Theoretical computer science
645	An Introduction to Zero-Suppressed Binary Decision Diagrams Alan Mishchenko Department of Electrical and Computer Engineering Portland State University, Portland, OR 97207, USA [removed]; http://www.ee.pdx.edu/~a Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2001-09-30 22:57:32 Boolean algebra Algebraic logic Diagrams Computability theory Binary decision diagram Model checking Indicator function Recursion Function Mathematics Mathematical logic Mathematical analysis
646	Decoupling Cache Coherence from Architecture in XML Klaus Oberecker, Aris Mallas and E. David Zotter Abstract but is buffetted by previous work in the field. Add to Reading List Source URL: www.zotter.com Language: English - Date: 2007-11-05 14:06:35 Models of computation Analysis of algorithms Computability theory Formal methods Randomized algorithm Algorithm Turing machine Applied mathematics Theoretical computer science Computer science
647	PDF Document Add to Reading List Source URL: fortnow.com Language: English - Date: 2011-05-03 09:10:11 Theory of computation Computability theory Formal languages Recursion ACM SIGACT Symposium on Theory of Computing Finite-state machine Recursive language Primitive recursive function Applied mathematics Theoretical computer science Mathematics
648	Complexity-theoretic barriers to validated solution of initial value problems Aki K AWAMURA www.cs.toronto.edu/˜kawamura/ Department of Computer Science Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2008-05-30 11:12:20 Computer science Models of computation Theory of computation Computational complexity theory Oracle machine Reduction Computability Turing machine Algorithm Theoretical computer science Computability theory Applied mathematics
649	AISB/IACAP World Congress 2012 Birmingham, UK, 2-6 July 2012 Natural Computing/ Unconventional Computing and its Philosophical Significance Add to Reading List Source URL: www.mrtc.mdh.se Language: English - Date: 2013-10-16 13:38:19 Theory of computation Computability theory Hypercomputation Super-recursive algorithm Computation Unconventional computing Turing test Computable function Bio-inspired computing Theoretical computer science Applied mathematics Computer science
650	AISB/IACAP World Congress 2012 Birmingham, UK, 2-6 July 2012 Natural Computing/ Unconventional Computing and its Philosophical Significance Add to Reading List Source URL: www.mrtc.mdh.se Language: English - Date: 2013-10-16 13:38:19 Theory of computation Computability theory Hypercomputation Super-recursive algorithm Computation Unconventional computing Turing test Computable function Bio-inspired computing Theoretical computer science Applied mathematics Computer science

UPDATE